Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE
نویسنده
چکیده
Arbitrary Arrow Update Logic with Common Knowledge (AAULC) is a dynamic epistemic logic with (i) an arrow update operator, which represents a particular type of information change and (ii) an arbitrary arrow update operator, which quantifies over arrow updates. By encoding the execution of a Turing machine in AAULC, we show that neither the valid formulas nor the satisfiable formulas of AAULC are recursively enumerable. In particular, it follows that AAULC does not have a recursive axiomatization.
منابع مشابه
The undecidability of arbitrary arrow update logic
Arbitrary Arrow Update Logic is a dynamic modal logic that uses an arbitrary arrow update modality to quantify over all arrow updates. Some properties of this logic have already been established, but until now it remained an open question whether the logic’s satisfiability problem is decidable. Here, we show that the satisfiability problem of Arbitrary Arrow Update Logic is co-RE hard, and ther...
متن کاملArrow Update Logic
We present Arrow Update Logic, a theory of epistemic access elimination that can be used to reason about multi-agent belief change. While the belief-changing “arrow updates” of Arrow Update Logic can be transformed into equivalent belief-changing “action models” from the popular Dynamic Epistemic Logic approach, we prove that arrow updates are sometimes exponentially more succinct than action m...
متن کاملCommon Belief with the Logic of Individual Belief
The logic of common belief does not always re‡ect that of individual beliefs. In particular, even when the individual belief operators satisfy the KD45 logic, the common belief operator may fail to satisfy axiom 5. That is, it can happen that neither is A commonly believed nor is it common belief that A is not commonly believed. We identify the intersubjective restrictions on individual beliefs...
متن کاملArrow Update Synthesis
In this contribution we present arbitrary arrow update model logic (AAUML). This is a dynamic epistemic logic or update logic. In update logics, static/basic modalities are interpreted on a given relational model whereas dynamic/update modalities induce transformations (updates) of relational models. In AAUML the update modalities formalize the execution of arrow update models, and there is als...
متن کاملDefensive Properties of Ginsenoside Re against UV-B-Induced Oxidative Stress through Up-Regulating Glutathione and Superoxide Dismutase in HaCaT Keratinocytes
Ginseng is now used worldwide as a traditional Oriental medicine. Ginsenosides, alsoknown as ginseng saponins, are responsible for most pharmacological efficacies of ginseng.This work aimed to assess the novel skin anti-photoaging potential of ginsenoside Re (Re), aprotopanaxatriol-type ginsenoside, by analyzing reactive oxygen species (ROS), pro-matrixmetalloproteinase-2 (proMMP-2) and -9 (pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017